A Foundation for Region-Based Qualitative Geometry1
نویسندگان
چکیده
We present a highly expressive logical language for describing qualitative configurations of spatial regions, based on Tarski’s Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive. We give a categorical axiom system, whose models can be interpreted classically in terms of Cartesian spaces overR.We show that within this system the concept of sphere and the congruence relation are interdefinable. We investigate the 2nd-order character of the theory and prove incompleteness of some weaker 1st-order variants.
منابع مشابه
Designing a Citizenship Education Curriculum Model for Students with Special Needs (Mentally Retarded)
The purpose of this study was to design a citizenship education curriculum model for students with special needs.The qualitative methodology of the data theory of the foundation is used and in terms of research philosophy. It is in the category of applied positivist paradigm and in terms of qualitative and quantitative research, it has an inductive and deductive approach and survey strategy. Th...
متن کاملسواد اطلاعاتی در اَسناد بالادستی نهاد کتابخانههای عمومیکشور
Purpose: The present study aims to investigate the place of Information Literacy factors in official documents of Iran public libraries foundation (IPLF) and to compare the results with IFLA Guidelines on Information Literacy. Methodology: This is a qualitative research based on the theoretical analyses. The research population includes eight main official documents of IPLF as well as IFLA gui...
متن کاملPresenting a model for empowering the managerial skills of female principals of education schools in Mazandaran province based on the data theory of the foundation
purpose: The aim of this study was to identify the dimensions and components of empowerment of managerial skills of female school principals in the data theory paradigm of the foundation. Methodology: The present study was a mixed qualitative and quantitative method, applied in terms of purpose and descriptive in nature and method. The qualitative statistical population according to the saturat...
متن کاملA Panel Analysis of Good Governance and FDI on Economic Growth in MENA Region
The paper focuses on regional trade agreements and economic co-operation and develops a new appropriate approach to study their impact on growth and trade. The approach is based on an endogenous trade-growth theory and novelly specified in an economic integration (expenditure) framework which is the conceptual foundation of regional trade agreements. Importantly, it also appropriately takes int...
متن کاملDesigning and Compiling a model of professional competencies of managers in managing the country's sports crises with data Theory Foundation approach
The real areas of crises in sports testify to the incompetency of managers, therefore, identifying and increasing crisis management capacity is one of the management challenges. The aim of this study was to design and develop a model of managers' competencies in managing national and international sports crises in the country. The research method was exploratory in nature and using ...
متن کامل